projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6abe97) | patch
Handle type hierarchy in native compiler forward propagation
authorAndrea Corallo <akrl@sdf.org>
Fri, 6 Nov 2020 21:22:48 +0000 (22:22 +0100)
committerAndrea Corallo <akrl@sdf.org>
Sat, 7 Nov 2020 10:27:14 +0000 (11:27 +0100)
commitacf101c63644da5587822afbea1b186d91ff3348
tree7aa489c4a293bbab3de564155776160f8cfab142tree | snapshot
parentc6abe97f941a5021d416e01fb0f61a675c5f6b29commit | diff
Handle type hierarchy in native compiler forward propagation

2020-11-07  Andrea Corallo  <andrea.corallo@arm.com>

* lisp/emacs-lisp/cl-preloaded.el (cl--typeof-types): Add fixnum
and bignum.
* lisp/emacs-lisp/comp.el (comp-ctxt): Add `supertype-memoize'
slot.
(comp-supertypes, comp-common-supertype-2)
(comp-common-supertype): New functions.
(comp-fwprop-insn): Make use of `comp-common-supertype' to
identify the common supertype to be propagated.
lisp/emacs-lisp/cl-preloaded.el diff | blob | history
lisp/emacs-lisp/comp.el diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.